syntactic calculus
英 [sɪnˈtæktɪk ˈkælkjələs]
美 [sɪnˈtæktɪk ˈkælkjələs]
网络 句法类型演算
双语例句
- In this paper, the author introduces the basic conception and method of categorial grammar, especially the syntactic type calculus. Some important results in the syntactic type calculus of English verb phrases are illustrated through concrete examples.
本文介绍范畴语法的基本概念和方法，着重介绍句法类型演算，并通过具体的实例，说明了英语动词短语的句法类型演算研究的一些重要成果。 - According to the definition of ambient calculus, we propose the concept of ambient syntactic structure tree, and introduce a data flow analysis method for ambient calculus based on the structural tree of ambient calculus and the implementation of the analysis algorithms.
针对Ambient演算的定义，提出了Ambient演算语法结构树的概念，并且给出一个基于Ambient语法结构树的Ambient演算的数据流分析方法及其实现。